Model's quality assurance using MSA and Petri Net

نویسنده

  • Abbas M. Al-Bakry
چکیده

This work presents a methodology for designing models in engineering and education fields for verifying the quality assurance conditions. The first model uses matrix structural analysis (MSA) to calculate the expected values for the model. The matrix structural analysis (MSA) uses to design model in engineering field, this helps to expect the values which is the nearest to the real ones. The MSA verify the quality assurance conditions and estimate principles or ad-hoc principles depending on the calculating the actual values. Petri nets uses in another example (Education field). Petri Nets provide a very important feature which is the dynamic property, so the model designing with Petri nets becomes look like as in real. ةص خلا : ميلعتلاو ةسدنھلا يلقح يف جذامن ميمصتل ةقيرط ثحبلا ضرعي رايتخ& هدوجلأ ديكأت طورش . لكيھ ليلحت مادختسا مت ةفوفصملا جذومنلل ةعقوتملا ميقلا باستحا ضرغل لو;ا جذومنلا يف ، نإ لكيھ ليلحت مادختسا ةفوفصملا هدوج ديكأت ضرغل يسدنھ جذومنل يمخت يف لھس ليدوملا ايعقاو اھمادختسا ضرتفملاو ةيقيقحلا ميقلا ن . نم ةيحانلا تاططخم مادختسا مت ىرخ;ا يرتبلأ لقحلا يف سفنل يميلعتلا ةمھملا تاططخم تافص زربا نم ناو ليدوملا ةدوج ديكأت يھو يرتبلأ ةفصلا يھ ةيكيمانيدلا نأب كرعشت يتلاو عقاولا يف هنأكو لمعي جذومنلا .

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Mapping CRC Card into Stochastic Petri Net for Analyzing and Evaluating Quality Parameter of Security (TECHNICAL NOTE)

CRC cards are unconventional method for identifying and describing classes, behavior and its responsibilities and collaborators of class. Representation of three categories of class, responsibilities and collaborators can give proper image of scenario. These cards are effective method for analyzing scenarios. With all positive features of CRC cards, of weaknesses of these cards are failure to s...

متن کامل

Deterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow

Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...

متن کامل

A Framework for Developing Cyber-Physical Systems

Cyber physical systems (CPSs) are pervasive in our daily life from mobile phones to auto driving cars. CPSs are inherently complex due to their sophisticated behaviors and thus difficult to build. In this paper, we propose a framework to develop CPSs based on a model driven approach with quality assurance throughout the development process. An agent-oriented approach is used to model individual...

متن کامل

Defining variability in activity diagrams and Petri nets

Control flow models, such as UML activity diagrams or Petri nets, are widely accepted modeling languages used to support quality assurance activities in single system engineering as well as software product line (SPL) engineering. Quality assurance in product line engineering is a challenging task since a defect in a domain artifact may affect several products of the product line. Thus, proper ...

متن کامل

Network Resource Management for Improving Users Quality of experience in Software Defined Network by Weighted Fuzzy Petri-NetMethod

The rapid rise in popularity of multimedia applications, such as VoIP, IPTV and Video Conferencing, intensifies the need to consider resource management for user satisfaction. Furthermore, improving Quality of Experience (QoE) in Software Defined Networks (SDNs) services is one of the important issues to be addressed by provisioning optimum resource management. In this paper, resource allocatio...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011